专题研究N648：区块链项目The Moonmath Manual To Zk Snarks
专题研究N648：区块链项目The MoonMath Manual to zk-SNARKs（Least Authority）
按：这个系列是我在GITCOIN上捐赠过的项目；大约有50个；主要是在研究名人或区块链项目时参考别人的捐赠和当时感受不错就决定小额捐赠（当然这个小额捐赠有可能有/实际也发生了项目回赠的空投），一来是重在参与，为区块链项目尽点微薄之力，二来也是想博一个小意外惊喜；信息来自GITCOIN，研究方式主要还是通过推特号，另外也参考GITCOIN简介，也分析下他们钱包；本次是区块链项目，
"The MoonMath Manual to zk-SNARKs，
" "https://leastauthority.com/，
" https://gitcoin.co/grants/543/the-moonmath-manual-to-zk-snarks "，@LeastAuthority ，
" 0xA8A4912938549d50EF3E7c698C890E18D73408Ee，
Least Authority，
@LeastAuthority，我们致力于构建和支持技术解决方案的开发，这些技术解决方案可以提高数字安全性并将隐私作为一项人权加以保护。
Earth，leastauthority.com，2011年11月 加入，
211 正在关注，
1,765 关注者，
我们正在构建一种消费产品，以使用Magic Wormhole协议为基础来支持轻松，无身份验证和安全的文件传输-我们希望收到您的反馈！单击此处以了解有关该项目的更多信息：https://leastauthority.com/blog/mw4all-2-0-exploring-the-product-potential-of-secure-file-transfer/，@LeastAuthority
·
5月18日
谢谢 @zkproof 为支持和盛大活动！（@LeastAuthority
是一个由安全研究人员，开源开发人员，密码学家和隐私权倡导者组成的团队，以#zeroknowledgeproofs和#zksnarks加入他们的邮件列表，以了解有关白皮书发布，审核报告，职位空缺等的更多信息）
我们最近参加了由
@NGI4eu
。我们吸取了宝贵的经验教训，可以将其应用于我们的安全文件传输产品，并将在接下来的几个月中从该项目的进一步指导中受益。在这里阅读更多：https://leastauthority.com/blog/mw4all-participates-in-ngi-bootcamp/
4月的新闻通讯包括MW4ALL项目的最新信息（开发一种可以安全而轻松地发送文件的产品），“密报”，新的职位空缺等等。在这里阅读这些故事：
在亲密交流容易公开的世界中，我们如何变得脆弱？探索数字#privacy PRIVY TO的权利
@AssemblyPDox，
–在以下地点使用EEG技术进行在线现场表演：
@cphdox，
演出日期：5月1日和2日，
门票：49丹麦克朗/〜7 €，
https://privy-to.com，
最低权威人士重点介绍了我们在工作中及以后使用并欣赏的一些#opensource项目，包括 @riseupnet ， @signalapp ，Secure Scuttlebutt和Spectrum。在此处查看完整列表：
我们的团队依靠#opensource项目来改善我们的日常生活。最近收到我们捐款的项目包括kitty，＃OsmocomBB， @nixos_org 和 @QubesOS 阅读更多：
我们的最低权限团队将开设新职位。可以在这里找到详细信息：https://leastauthority.com/careers/#securityresearcher…
看看当我们谈论我们使用和欣赏的#opensource项目时，最低权威人士会提出什么建议。他们之中： @gnupg @HaskellOrg @KeePassXC 和 @kicad_pcb
我们通过分享我们最喜欢的项目并对公司捐赠分配进行投票来表达对#opensource软件的感谢。清单包括 @搅拌机 @ChaynHQ @cryptpad 和 @FreeCADNews 更多信息请访问：
今天的
@zkproof
第4次工作坊会议将于世界标准时间下午3点开始！作为这项活动的赞助商，我们希望您能与我们一起了解世界的世界。#zeroknowledgeproofs和#zksnarks。在此处查看完整的时间表和注册链接：zkproof.org/events/workshop4/
“如果隐私是我们要保护的东西，我们应该知道它是什么。”这就是为什么我们支持
@AssemblyPDox
团队在PRIVY TO中探索孤立，亲密的沟通和曝光，这是使用EEG技术的现场在线表演，网址为：
@cphdox
我们认识到#zeroknowledgeproofs和协议，以提高项目的可伸缩性和用户的隐私，这就是我们赞助的原因#zeroknowledge社区活动，例如
@zkproof
。与我们一起了解世界#ZKPshttps://zkproof.org/events/workshop4/
我们的团队刚刚完成了#securityaudit为了
@VanillaDeFi，
smartcontracts。香草是一个不信任的界面#DeFi奖励您进行获利交易和借出代币。
在此处阅读完整的报告：https://leastauthority.com/blog/audit-of-equilibriums-vanilla-smart-contracts/
我们的团队刚刚完成了#securityaudit的#smartcontract为了
@loopringorg
。 Loopring 3.6引入了Solidity智能合约以及基于libsnark和ethsnark的电路代码。
在此处阅读完整的报告：https://leastauthority.com/blog/audit-of-loopring-3-6-design-implementation-smart-contracts-and-circuit/
我们的团队刚刚完成了#securityaudit的
@Blox_Staking
旨在作为一种简单易用的抵押方式的钱包$ETH并获得奖励#Ethereum 2.0。
在此处阅读完整的报告：https://leastauthority.com/blog/audit-of-blox-staking-wallet/
我们的团队刚刚完成了#securityaudit Quipuswap的#smartcontracts为了
@TezosFoundation，
在此处阅读完整的报告：https://leastauthority.com/blog/audit-of-quipuswap-smart-contracts-for-tezos-foundation/
我们的团队刚刚完成了#securityaudit的Kolibri #smartcontracts经过
@HoverEng
上$tezos可以用来发行#kUSD，一种不可信的算法#stablecoin。
在此处阅读完整的报告：https://leastauthority.com/blog/kolibri-smart-contracts-for-tezos-foundation/，
@TezosFoundation
我们的团队最近完成了对＃稳定的#tezos #stablecoin的#securityaudit @TezosFoundation 在此处阅读完整的报告：https://leastauthority.com/blog/audit-of-stablys-tezos-stablecoin-for-tezos-foundation/…
我们最近完成了对
@MinaProtocol
的分类帐应用程序。伟大的与
@o1_labs
团队！
在此处阅读完整的报告：https://leastauthority.com/blog/audit-of-mina-ledger-application-for-o1-labs/
我们很高兴地宣布#PrivateStorage将于2021年第三季度推出！
阅读有关我们最近的更改的信息：https://leastauthority.com/blog/privatestorage-is-coming-soon/，
或注册以在启动时收到通知：https://privatestorage.io/#notify-me
明天，我们将在以下面板上主持后续问答环节#zeroknowledgeproofs以及它们在KYC / AML法规中的作用。加入我们进行对话，并向小组发送您的问题！
观看小组讨论：http://youtube.com/watch?v=E5NkQr_2rJ0，
登记：https://us02web.zoom.us/webinar/register/WN_AAKkDmDaQGGtA2ss1hEBJA
我们的团队最近完成了对$Lisk项目的协议设计和实施。很高兴与您合作，
@LiskHQ
团队！
在此处阅读完整的报告：https://leastauthority.com/blog/audit-of-lisk-project-protocol-design-implementation/
回顾一年： @ liz315 反映我们在2020年在安全咨询，产品开发和社区贡献项目方面的成就-
讨论小组将于明天格林威治标准时间上午10点/欧洲中部时间上午11点/美国标准时间下午6点举行。加入对话。 在此处注册：https：//us02web.zoom.us/webinar/register/1316075356185/WN_gpJup_mJSQevMRKHDdgR0Q…
下周三与我们一起参加为时1小时的特别活动，然后与来自世界各地的专家进行问答，以讨论金融隐私的现状以及如何#zeroknowledgeproofs可以发挥作用。
免费注册：https://us02web.zoom.us/webinar/register/1316075356185/WN_gpJup_mJSQevMRKHDdgR0Q，
@suss_sg
@ElectricCoinCo
@JackGavigan
@liz315
我们的团队已完成对#ethdo的安全审核， @jgm 为了 @以太坊 有望推出＃eth2的基金会。完整的报告可在博客文章中找到。
审计是一种荣幸#ThanosWallet非常感谢Thanos团队与您的合作！
在此处阅读完整的报告：https://leastauthority.com/blog/audit-of-thanos-wallet/
我们的团队很高兴开始审核#Loopring 3.6设计+实现！我们将看看#zkRollup第2层DEX和支付协议的实现#Ethereum区块链#SNARKS
另一轮比赛正在进行中
@gitcoin
并且我们将继续按照逐步指南进行工作#zksnarks，
捐赠1个DAI以提高匹配率并帮助该项目获得资助！我们的团队也很高兴就内容取得联系进行合作
我正在https://gitcoin.co/grants/543/the-moonmath-manual-to-zk-snarks上通过Gitcoin Grants向zk-SNARKs验证我对MoonMath手册的所有权…
团队成员Allon将在
@rightscon
明天。如果您已注册参加此活动，请进入此讲习班，了解以人为本的技术的重要性以及如何进行用户研究以支持此活动https://rightscon.course.tc/2020/events/lets-make-technology-people-driven-getting-started-with-user-research-its-easy-and-you-can-do-it-too-ubAwazWywCyXJRjw9UGrJZ
谢谢 @daviddias 以及其他八卦小组成员！我们很高兴与您合作，并感谢您为此次审核所做的奉献。期待未来的合作！
我们的团队审核了网络上的设计，实现和模拟攻击，
@libp2p
PubSub，#Gossipsub v1.1。
@daviddias
＆ 这
@protocollabs
团队朝着加强+保护协议采取了重要步骤。祝您工作愉快！
完整报告：https://leastauthority.com/blog/audit-of-gossipsub-v1-1-for-protocol-labs
您看过我们的最新时事通讯吗？请点击链接阅读它，或注册以直接在您的收件箱中接收我们的每月更新：https://leastauthority.com/newsletter#privacy#security#audit#proximitytracing#zkSNARKs
我们很乐意支持 @WhatBitcoinDid 产生丰富的探索领域的内容。
它是
@gitcoin
赠款匹配第6轮，每个DAI都非常重要，为我们的项目提供资金！
关于zk-SNARK的MoonMath手册
多维理论与应用手册
为了更好地利用#zkSNARKs在项目中，我们需要更多的开发者来更好地理解，
https://gitcoin.co/grants/543/the-moonmath-manual-to-zk-snarks
上周德国发布了#CoronaWarnApp，因此我们与 @EFF 回答有关此邻近性跟踪应用程序的＃安全性和＃隐私性的问题： https://eff.org/deeplinks/2020/06/germanys-corona-warn-app-frequently-asked-questions…
我们收到了来自的资金 @OpenTechFund 致力于改善 @TahoeLAFS 和 @GridsyncApp —捍卫互联网自由的开源工具。我们需要确保互联网自由得到保护。 #saveOTF #SaveInternetFreedom
你用 @SignalApp ？没有 @OpenTechFund ，信号将不存在。 OTF支持开放源代码工具，可帮助数以百万计的人安全地进行通信。 #SaveInternetFreedom #saveOTF
为什么开源技术对互联网自由很重要？它们使用户能够使用和研究源代码。我们对使用的技术了解得越多，彼此之间就越安全。 #saveinternetfreedom＃安全事项
@OpenTechFund 已资助我们对捍卫全球互联网自由的开源工具进行安全审核。我们需要确保互联网自由得到保护。 #SaveInternetFreedom #saveOTF
今天，我们的首席执行官Liz Steininger在
@cognition_x
-全球领导力峰会暨人工智能与新兴技术节，
下午5点UTC + 1收听
免费的“节日通行证”门票，代码为：SPCXSFP100，
相当多的演讲嘉宾和演讲者！https://cogx.co/programme/
我们最近完成了对 @离心机 的基于#substrate的链。非常感谢 @lucasvo 和团队，与您合作愉快！ 在此处阅读完整的#Centrifuge Chain报告：
我们的团队最近完成了#TezosKit的＃安全审核，这是一个基于#swift的工具箱，用于与 @tezos 区块链非常适合与 @KeeferTaylor ＆ 这 @TezosFoundation 在这个项目上！ 阅读完整的报告：
许多人问我们的审计工作原理，并想进一步了解我们的方法，所以我们想到了举办关于内部审计工作的网络研讨会的想法。#audit努力提高流程的透明度，
4月30日举行，请加入我们并提出您的Q！
登记https://bit.ly/security-sessions
这个月我们完成了一个#security#audit的
@centrifuge
的#Tinlake合同。我们赞赏他们为更多独特形式的证券化增加标准化和透明度的努力。非常感谢
@lucasvo
和
@centrifuge
团队！
报告https://leastauthority.com/blog/audit-of-centrifuges-tinlake-contracts-actions/
我们的团队一直在忙于ZKAP（#zeroknowledge访问通行证）作为断开付款数据的一种方式↔️服务数据以保护客户#privacy。#zkaps改编自#PrivacyPass解决访问控制#TahoeLAFS为了
@PvtStorage，
读on..https://leastauthority.com/blog/using-zkaps-to-disconnect-payment-data-from-service-data/
谢谢
@ChainSafeth
！我们的团队喜欢审核#lodestar实用程序库，很高兴看到#security最佳做法。展望未来#audits。
完整报告在这里：https://leastauthority.com/blog/audit-of-chainsafe-utility-libraries/
@ bendee983 的覆盖范围 @ethereum 的错误赏金计划包含引号 @LeastAuthority 的Hind Kurhan（ @habuamr ）关于我们最近＃eth2规范的＃phase0审核
我们的团队最近审核了#tzBTC，是BTC支持的令牌，位于#Tezos写在#michelson。谢谢
@TezosFoundation
！再次与您的团队合作，祝一切顺利！
在此处阅读有关审核的信息：https://leastauthority.com/blog/tezos-foundation-tzbtc-audit/
我们最近完成了第三届#security#audit为了
@metamask_io
-这次查看插件系统和LavaMoat。
总是很愉快的工作
@danfinlay
，
@kumavis_
和MetaMask团队！
完整报告：https://leastauthority.com/blog/metamask_plugin_system_lavamoat_audit/
我们刚刚启动了一个项目
@gitcoin，
grants创建有关如何构建#zkSNARK从开始到结束。 “ zk-SNARKs的MoonMath手册”，
如果您想看到这些，请加入我们的努力！https://gitcoin.co/grants/543/the-moonmath-manual-to-zk-snarks
我们刚刚包好了#phase0审计#eth2眼镜！
非常感谢
@dannyryan
和
@ethereum
团队。
在此处查看我们的博客文章和完整报告：https://leastauthority.com/blog/ethereum-2-0-specifications/
我们也有机会在此＃DevCon5面板上讨论对#ProgPoW的安全审核： @ liz315 @ vu3rdd @hudsonjameson 和 @mhswende https：//youtube.com/watch？v = 2jvRu8DxCoU ... #DevConV，@LeastAuthority
·
2020年3月4日
我们刚刚开始＃eth2审查。团队对此感到非常兴奋！敬请关注最新消息
我们最近完成了第二次#audit为了
@metamask_io
团队，这次涵盖了权限系统和Capnode-最终报告中有关范围和发现的完整详细信息：https://leastauthority.com/blog/metamask_permissions_system_capnode_audit/
我们关于＃审核的＃报告 @ethereum 基金会的节点发现＃协议已上线。在此处阅读有关审核的信息：https://leastauthority.com/blog/ethereum-node-discovery-protocol-audit/…
我们的团队刚刚完成了#securityaudit和验证
@NervosNetwork
CKB（通用知识库）-一个#opensource多重资产，工作量证明#blockchain-在此处阅读报告：https://leastauthority.com/blog/least-authoritys-review-of-the-nervos-network/，上午3:10 · 2019年11月1日
加入我们#zkSNARKs在柏林我们的空间举办的讲习班，
准备一些数学！我们将做一个简单的#zeroknowledge从头到尾地潜行以了解...的基本原理#zkproofs，
http://zksnarks.eventbrite.com，
非常感谢，
@ElectricCoinCo
用于支持该研讨会，下午6:42 · 2019年9月24日